Valeria de Paiva: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Methods that may stimulate creativity and their use in architectural design education

Doris C. C. K. Kowaltowski, Giovana Bianchi, Valéria Teixeira de Paiva

Journal:

International Journal of Technology and Design Education

Year:

2010

Language:

english

File:

PDF, 275 KB

english, 2010

2

A low calorie and nutritive sorghum powdered drink mix: Influence of tannin on the sensorial and functional properties

Vieira Queiroz, Valéria Aparecida, da Silva Aguiar, Aline, Beserra de Menezes, Cícero, Piler de Carvalho, Carlos Wanderlei, Paiva, Caroline Liboreiro, Fonseca, Patrícia Costa, Pereira da Conceição, Re

Journal:

Journal of Cereal Science

Year:

2017

Language:

english

File:

PDF, 827 KB

english, 2017

3

Bridges from Language to Logic: Concepts, Contexts and Ontologies

Valeria de Paiva

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 516 KB

english, 2011

4

Poset-valued sets or how to build models for linear logics

Andrea Schalk, Valeria de Paiva

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 391 KB

english, 2004

5

Elements of Categorical Logic: Fifty Years Later

Valeria de Paiva, Andrei Rodin

Journal:

Logica Universalis

Year:

2013

Language:

english

File:

PDF, 144 KB

english, 2013

6

Natural Number Objects in Dialectica Categories

de Paiva, Valeria, Morgan, Charles, da Silva, Samuel G.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 213 KB

english, 2014

7

[IEEE 2014 XVI Symposium on Virtual and Augmented Reality (SVR) - Piata Salvador, Bahia, Brazil (2014.5.12-2014.5.15)] 2014 XVI Symposium on Virtual and Augmented Reality - Music-AR: Augmented Reality in Teaching the Concept of Sound Loudness to Children in Pre-School

Gomes, Leticia, Martins, Valeria Farinazzo, Dias, Diego Colombo, Guimaraes, Marcelo de Paiva

Year:

2014

File:

PDF, 749 KB

2014

8

A linked open data architecture for the historical archives of the Getulio Vargas Foundation

Rademaker, Alexandre, Oliveira, Dário Augusto Borges, de Paiva, Valeria, Higuchi, Suemi, Medeiros e Sá, Asla, Alvim, Moacyr

Journal:

International Journal on Digital Libraries

Year:

2015

Language:

english

File:

PDF, 1.79 MB

english, 2015

9

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 9160 || Parametric Polymorphism — Universally

de Paiva, Valeria, de Queiroz, Ruy, Moss, Lawrence S., Leivant, Daniel, de Oliveira, Anjolina G.

Year:

2015

Language:

english

File:

PDF, 333 KB

english, 2015

10

[IEEE 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - Doha, Qatar (2014.11.10-2014.11.13)] 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA) - A virtual reality environment to support chat rooms for hearing impaired and to teach Brazilian Sign Language (LIBRAS)

Brega, Jose Remo Ferreira, Rodello, Ildeberto Aparecido, Dias, Diego Roberto Colombo, Martins, Valeria Farinazzo, de Paiva Guimaraes, Marcelo

Year:

2014

Language:

english

File:

PDF, 311 KB

english, 2014

11

Problem based learning associated to the development of games for programming teaching

Martins, Valéria F., de Almeida Souza Concilio, Ilana, de Paiva Guimarães, Marcelo

Journal:

Computer Applications in Engineering Education

Year:

2018

Language:

english

File:

PDF, 2.35 MB

english, 2018

12

Beverages formulated with whey protein and added lutein

Rocha, Juliana de Cássia Gomes, Mendonça, Adriana Corrêa, Viana, Kéllen Wanessa Coutinho, Maia, Mariza de Paiva, Carvalho, Antônio Fernandes de, Minim, Valéria Paula Rodrigues, Stringheta, Paulo César

Journal:

Year:

2017

File:

PDF, 761 KB

2017

13

Inheritance, Defaults and the Lexicon || Norms or Inference Tickets? A Frontal Collision between Intuitions

Briscoe, Ted, Copestake, Ann, Paiva, Valeria de

Year:

1994

File:

PDF, 811 KB

1994

14

Full intuitionistic linear logic (extended abstract)

Martin Hyland, Valeria de Paiva

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 1.35 MB

english, 1993

15

Constructive Description Logics Hybrid-Style

Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 202 KB

english, 2011

16

Intuitionistic hybrid logic

Torben Braüner, Valeria de Paiva

Journal:

Journal of Applied Logic

Year:

2006

Language:

english

File:

PDF, 213 KB

english, 2006

17

Relating Categorical Semantics for Intuitionistic Linear Logic

Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter

Journal:

Applied Categorical Structures

Year:

2005

Language:

english

File:

PDF, 388 KB

english, 2005

18

Preface

Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 97 KB

english, 2007

19

Logic, Language, Information and Computation

Grigori Mints, Valéria de Paiva, Ruy de Queiroz

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 74 KB

english, 2009

20

Intuitionistic Modal Logic and Applications (IMLA 2008)

Valeria de Paiva, Brigitte Pientka

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 76 KB

english, 2011

21

Melanotic neuroectodermal tumor of infancy (progonoma)—Clinical, radiological, pathological features and literature review

Priscila Pereira Costa de Araújo, Alfio José Tincani, Valeria Pereira Paiva, Iva Santos Loureiro Neta, Izilda Aparecida Cardinalle, Rita de Cassia Pereira, Silvia R. Brandalise

Journal:

International Journal of Pediatric Otorhinolaryngology Extra

Year:

2007

Language:

english

File:

PDF, 802 KB

english, 2007

22

Flow Cytometry Immunophenotyping Evaluation in Acute Lymphoblastic Leukemia: Correlation to Factors Affecting Clinic Outcome

Vasconcelos de Andrade Alves, Gabriela, Araújo da Cunha Fernandes, Andrea Luciana, Freire, Juliana Mendonça, de Souza Paiva, Aldair, de Vasconcelos, Roberto Chaves, Soraya de Farias Sales, Valéria, Ma

Journal:

Journal of Clinical Laboratory Analysis

Year:

2012

Language:

english

File:

PDF, 722 KB

english, 2012

23

[IEEE 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI) - Medellin, Colombia (2012.10.1-2012.10.5)] 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI) - Usability metrics for augmented reality applications

Martins, Valeria Farinazzo, Leandro Valdeviesso Soares,, Vitor Barbosa Mattos,, Eduardo Luiz Makihara,, Renato Nakahishi Pinto,, Guimaraes, Marcelo de Paiva

Year:

2012

File:

PDF, 1.08 MB

2012

24

Kinetics of non-catalytic and ZnL2-catalyzed esterification of lauric acid with ethanol

de Paiva, Eduardo Jose Mendes, Graeser, Valeria, Wypych, Fernando, Corazza, Marcos L.

Journal:

Year:

2014

Language:

english

File:

PDF, 658 KB

english, 2014

25

Estudo comparativo do uso de meloxicam por via intra-articular e sistêmica no controle da osteoartrite experimentalmente induzida em joelho de coelhos

Vidotto, Valéria Trombini, Rocha, Rodrigo Tesser da, Paiva, Caroline Lorraine de, Nardotto, João Ricardo, Farias, Anderson, Stefanes, Sandro Alex

Journal:

Revista Brasileira de Ortopedia

Year:

2013

File:

PDF, 1.84 MB

2013

26

Oral Problems And Treatment Needs of Adults and Children With Sickle Cell Anemia

DE FARIAS, ALINE CACHATE, DE LUNA PAIVA, KARTLAND VIEIRA, FERREIRA, SONIA MARIA SOARES, PEIXOTO, FERNANDA BRAGA, DE MORAES FERNANDES, KATARINA JUCÁ, DE MELO FRANCO, AUREA VALERIA, DE LIMA, MATHEUS HEN

Journal:

Oral Surgery Oral Medicine Oral Pathology and Oral Radiology

Year:

2014

Language:

english

File:

PDF, 53 KB

english, 2014

27

If, not when

Crouch, Dick, de Paiva, Valeria

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 216 KB

english, 2014

28

Comparative Study of the Use of Intra-articular and Systemic Meloxicam to Control Experimentally Induced Osteoarthritis in Rabbit Knees

Vidotto, Valéria Trombini, da Rocha, Rodrigo Tesser, de Paiva, Caroline Lorraine, Nardotto, João Ricardo, Farias, Anderson, Stefanes, Sandro Alex

Journal:

Revista Brasileira de Ortopedia (English Edition)

Year:

2013

File:

PDF, 1.71 MB

2013

29

Pigmented Oral Lichen Planus: Report of Three Cases

DE LUNA PAIVA, KARTLAND VIEIRA, DE LIMA, MATHEUS HENRIQUE ALVES, DE OLIVEIRA LIMA, AMANDA LAÍSA, PEIXOTO, FERNANDA BRAGA, RIBEIRO, CAMILA MARIA BEDER, DE MELO FRANCO, AUREA VALÉRIA, FERREIRA, SONIA MA

Journal:

Oral Surgery Oral Medicine Oral Pathology and Oral Radiology

Year:

2014

Language:

english

File:

PDF, 53 KB

english, 2014

30

Preface

de Paiva, Valeria, Benevides, Mario, Nigam, Vivek, Pimentel, Elaine

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

31

[Trends in Logic] Advances in Natural Deduction Volume 39 || An Approach to General Proof Theory and a Conjecture of a Kind of Completeness of Intuitionistic Logic Revisited

Pereira, Luiz Carlos, Haeusler, Edward Hermann, de Paiva, Valeria

Year:

2014

Language:

english

File:

PDF, 151 KB

english, 2014

32

[IEEE 2013 Latin American Computing Conference (CLEI) - Caracas (Naiguata), Venezuela (2013.10.7-2013.10.11)] 2013 XXXIX Latin American Computing Conference (CLEI) - Usability test for Augmented Reality applications

Martins, Valeria Farinazzo, de Paiva Guimaraes, Marcelo, Correa, Ana Grasielle

Year:

2013

File:

PDF, 807 KB

2013

33

[IEEE 2014 XVI Symposium on Virtual and Augmented Reality (SVR) - Piata Salvador, Bahia, Brazil (2014.5.12-2014.5.15)] 2014 XVI Symposium on Virtual and Augmented Reality - A Checklist to Evaluate Augmented Reality Applications

Guimaraes, Marcelo de Paiva, Martins, Valeria Farinazzo

Year:

2014

Language:

english

File:

PDF, 457 KB

english, 2014

34

[IEEE 2011 22nd International Conference on Database and Expert Systems Applications (DEXA) - Toulouse, France (2011.08.29-2011.09.2)] 2011 22nd International Workshop on Database and Expert Systems Applications - Intuitionistic Description Logic and Legal Reasoning

Haeusler, Edward Hermann, Paiva, Valeria de, Rademaker, Alexandre

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

35

[IEEE 2014 9th Iberian Conference on Information Systems and Technologies (CISTI) - Barcelona, Spain (2014.6.18-2014.6.21)] 2014 9th Iberian Conference on Information Systems and Technologies (CISTI) - Usability inspection of a smart TV

Martins, Valeria Farinazzo, Correa, Ana Grasielle Dionisio, de Paiva Guimaraes, Marcelo

Year:

2014

File:

PDF, 270 KB

2014

36

[IEEE 2014 IEEE 10th International Conference on e-Science (e-Science) - Sao Paulo, Brazil (2014.10.20-2014.10.24)] 2014 IEEE 10th International Conference on e-Science - Exploratory Information Extraction from a Historical Dictionary

Paiva, Valeria de, Oliveira, Dario Augusto Borges, Higuchi, Suemi, Rademaker, Alexandre, Melo, Gerard de

Year:

2014

Language:

english

File:

PDF, 167 KB

english, 2014

37

A soyabean diet does not modify the activity of brown adipose tissue but alters the rate of lipolysis in the retroperitoneal white adipose tissue of male rats recovering from early-life malnutrition

Paiva, Adriene Alexandra, Faiad, Jaline Zandonato, Taki, Marina Satie, de Lima Reis, Silvia Regina, de Souza, Letícia Martins Ignácio, dos Santos, Maísa Pavani, Chaves, Valéria Ernestânia, Kawashita,

Journal:

British Journal Of Nutrition

Year:

2012

Language:

english

File:

PDF, 163 KB

english, 2012

38

Relation between neonatal malnutrition and gene expression: inflammasome function in infections caused byCandida Albicans

Da Costa, Thacianna Barreto, De Morais, Natália Gomes, De Lira, Joana Maria Bezerra, De Almeida, Thays Miranda, Gonçalves-De-Albuquerque, Suênia Da Cunha, Pereira, Valéria Rêgo Alves, De Paiva Cavalca

Journal:

European Journal of Nutrition

Year:

2017

Language:

english

File:

PDF, 867 KB

english, 2017

39

[IEEE 2015 10th Iberian Conference on Information Systems and Technologies (CISTI) - Aveiro, Portugal (2015.6.17-2015.6.20)] 2015 10th Iberian Conference on Information Systems and Technologies (CISTI) - Using the recognition and speech synthesis to assist the practice of English pronunciation

Martins, Valeria Farinazzo, Lombardi, Eduardo, da Silva, Luana Felix, de Paiva Guimaraes, Marcelo

Year:

2015

File:

PDF, 2.28 MB

2015

40

Domains and Lambda-Calculi by R. M. Amadio and P-L. Curien, Springer Verlag, 1999, ISBN 0521587751.

de Paiva, Valeria

Journal:

Journal of Functional Programming

Year:

2001

Language:

english

File:

PDF, 66 KB

english, 2001

41

[ACM Press the 31st Annual ACM Symposium - Pisa, Italy (2016.04.04-2016.04.08)] Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 - Lung nodule classification based on shape distributions

Fernandes, Valéria P. M., Kanehisa, Rodrigo F. A., Braz, Geraldo, Silva, Aristófanes C., de Paiva, Anselmo C.

Year:

2016

Language:

english

File:

PDF, 636 KB

english, 2016

42

South American PSP toxin-producingCylindrospermopsis raciborskii(Cyanobacteria) decreases clearance rates of cladocerans more than copepods

Fabre, Amelia, Lacerot, Gissell, de Paiva, Rafael Rodriguez, Soares, M. Carolina S., de Magalhães, Valéria Freitas, Bonilla, Sylvia

Journal:

Year:

2017

Language:

english

File:

PDF, 619 KB

english, 2017

43

TLR and NLRP3 inflammasome expression deregulation in macrophages of adult rats subjected to neonatal malnutrition and infected with methicillin-resistant Staphylococcus aureus

Gomes de Morais, Natália, Barreto da Costa, Thacianna, Bezerra de Lira, Joana Maria, da Cunha Gonçalves de Albuquerque, Suênia, Alves Pereira, Valéria Rêgo, de Paiva Cavalcanti, Milena, Machado Barbos

Journal:

Year:

2016

Language:

english

File:

PDF, 1.45 MB

english, 2016

44

Mineral content of sorghum genotypes and the influence of water stress

Paiva, Caroline Liboreiro, Queiroz, Valéria Aparecida Vieira, Simeone, Maria Lúcia Ferreira, Schaffert, Robert Eugene, de Oliveira, Antônio Carlos, da Silva, Camila Santana

Journal:

Year:

2017

Language:

english

File:

PDF, 481 KB

english, 2017

45

Fibrational Modal Type Theory

de Paiva, Valeria, Ritter, Eike

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 227 KB

english, 2016

46

Making ontologies work for resolving redundancies across documents

Everett, John O., Bobrow, Daniel G., Stolle, Reinhard, Crouch, Richard, de Paiva, Valeria, Condoravdi, Cleo, van den Berg, Martin, Polanyi, Livia

Journal:

Communications of the ACM

Year:

2002

Language:

english

File:

PDF, 108 KB

english, 2002

47

[IEEE 2016 XI Latin American Conference on Learning Objects and Technology (LACLO) - San Carlos, Alajuela, Costa Rica (2016.10.3-2016.10.7)] 2016 XI Latin American Conference on Learning Objects and Technology (LACLO) - Educational game for aid in literacy process: Comparative study between kinect and mouse use as interaction and motivation way

Martins, Valeria Farinazzo, Niedermeyer, Andrea, de Paiva Guimaraes, Marcelo

Year:

2016

File:

PDF, 608 KB

2016

48

Inhibition of Herpes simplex virus 1 and Poliovirus (PV-1) by bacteriocins from Lactococcus lactis subsp. lactis and Enterococcus durans strains isolated from goat milk

Cavicchioli, Valéria Quintana, de Carvalho, Otávio Valério, de Paiva, Janine Cerqueira, Todorov, Svetoslav Dimitrov, Júnior, Abelardo Silva, Nero, Luís Augusto

Journal:

International Journal of Antimicrobial Agents

Year:

2017

Language:

english

File:

PDF, 687 KB

english, 2017

49

Inheritance, Defaults and the Lexicon || LKB Encoding of Lexical Knowledge

Briscoe, Ted, Copestake, Ann, de Paiva, Valeria

Year:

1994

Language:

english

File:

PDF, 1.24 MB

english, 1994

50

Inheritance, Defaults and the Lexicon || The ACQUILEX LKB: An Introduction

Briscoe, Ted, Copestake, Ann, de Paiva, Valeria

Year:

1994

Language:

english

File:

PDF, 768 KB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски